Formal proof
Synonyms for "formal proof" (14 found)
Ranked by relevance and common usage.
Closest matches (3)
Adjective(3 words)
Strong matches (4)
Adjective(4 words)
documented justificationformal argumentformal demonstrationformal verification
Related words (7)
Adjective(7 words)
machine verified proofofficial demonstrationrigorous analysisrigorous proofsolid logicstrong proofverification
Related word relations
OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.
More general
6 entriesMore specific
9 entriesautomated proofaxiomatic proofcomputer aided proofconstructive proofdocumented argumentnonconstructive proofofficial justificationstructured demonstrationsymbolic proof
Collocations
10 entriesaxiomatic proofformal proof methodformal proof stepsformal proof systemformal proof techniqueformal proof verificationformal verificationlogical argumentproof by contradictionrigorous proof
Inflections
3 entriesformal proofsmore formalmost formal